resolution refutation meaning in Chinese
归结反演, 分解反驳
Examples
- Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根据形式逻辑的归结反演原理，本文给出了一阶谓词逻辑的petri网推理的方法，实现了语义网络的petri网推理。